Outils numériques de maîtrise des risques vis-à-vis de l'environnement

De l'analyse des risques à l'expression des exigences de sécurité des systèmes d'information

Several methodologies have been proposed in order to tackle the issues of information system (SI) risks analysis and security requirements identification. To the best of our knowledge, there is no methodology that enables the derivation in a formal way of security requirements starting from risks analysis. The aim of this paper is to provide a guiding method allowing us to determine security re...

Interprétation de Documents Techniques : des Outils à leur Intégration dans un Système à Base de Connaissances

This thesis tackles the problem of technical document interpretation applied to France Telecom Documentation. This subject is on the crossroad of different fields like signal or image processing, pattern recognition, artificial intelligence, man-machine interaction and knowledge engineering. Indeed, each of these different fields can contribute to build a reliable and efficient document interpr...

Résistance des vecteurs du paludisme vis-à-vis des pyréthrinoïdes utilisés pour l’imprégnation des moustiquaires au Bénin, Afrique de l’Ouest

Impregnated bednets can be considered a major tool for reducing Anopheles bites, malaria morbi dity and overall mortality. The resistance of Anopheles gambiae to pyrethroids used to impregnate bednets and curtains has already been noted in the urban area of Cotonou in Benin (18, 21). In this study, we wished to find out if the resistance observed in Cotonou is localized only in this town or is ...

VITESSES RADIALES ASTROMETRIQUES vis-à-vis de VITESSES

Ultimate Truth vis-à-vis stable Truth

We show that the set of ultimately true sentences in Hartry Field’s Revenge-immune solution model to the semantic paradoxes is recursively isomorphic to the set of stably true sentences obtained in Hans Herzberger’s revision sequence starting from the null hypothesis. We further remark that this shows that a substantial subsystem of second order number theory is needed to establish the semantic...